An Update Operator for Strategic Ability
نویسندگان
چکیده
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involving this concept often occur. To fill this gap, we study an update operator for strategic ability update in coalition structures. Its formal connections with the update operators known from Dynamic Epistemic Logic will be discussed.
منابع مشابه
Design of supply chain in fuzzy environment
Nowadays, customer expectations are increasing and organizations are prone to operate in an uncertain environment. Under this uncertain environment, the ultimate success of the firm depends on its ability to integrate business processes among supply chain partners. Supply chain management emphasizes cross-functional links to improve the competitive strategy of organizations. Now, companies are ...
متن کاملStrategic Competence and Foreign Language test Performance in Iranian Context
A number of studies have accounted the integral role of foreign/second language learning and learner strategy use. However, a few of these studies have considered the relationships between strategic competence and its use and foreign language performance (FLP). This study applied structural equation modeling to deeply investigate the relationships between test takers’ strategy use and their per...
متن کاملStrategic Competence and Foreign Language test Performance in Iranian Context
A number of studies have accounted the integral role of foreign/second language learning and learner strategy use. However, a few of these studies have considered the relationships between strategic competence and its use and foreign language performance (FLP). This study applied structural equation modeling to deeply investigate the relationships between test takers’ strategy use and their per...
متن کاملRefining and Delegating Strategic Ability in ATL
We propose extending Alternating-time Temporal Logic (ATL) by an operator 〈i ⊑ Γ〉φ to express that i can distribute its powers to a set of sub-agents Γ in a way which satisfies ATL condition φ on the strategic ability of the coalitions they may form, possibly together with others agents. We prove the decidability of model-checking of formulas whose 〈. ⊑ .〉-subformulas have the form 〈i1 ⊑ Γ1〉 . ...
متن کاملAn Event-Based Abductive Model of Update
The Katsuno and Mendelzon theory of belief update has been proposed as a reasonable model for revising beliefs about a changing world. However, the semantics of update relies on information which is not readily available. We describe an alternative semantical view of update in which observations are incorporated into a belief set by: a) explaining the observation in terms of a set of plausible ...
متن کامل